Enriched Categories , Internal Categories and Change of Base Dominic Verity
نویسنده
چکیده
منابع مشابه
Homotopy Coherent Adjunctions of Quasi-categories
We show that an adjoint functor between quasi-categories may be extended to a simplicially enriched functor whose domain is an explicitly presented “homotopy coherent adjunction”. This enriched functor encapsulates both the coherent monad and the coherent comonad generated by the adjunction. Furthermore, because its domain is cofibrant, this data can be used to construct explicit quasi-categori...
متن کاملWeak Complicial Sets A Simplicial Weak ω-Category Theory Part II: Nerves of Complicial Gray-Categories
This paper continues the development of a simplicial theory of weak ω-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the 3-categorical Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier ...
متن کاملEnriched Indexed Categories
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V . This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of “limit” for such enriched indexed categories, and show that th...
متن کاملToward a Synthetic Theory of (∞, 1)-categories, Part I: Preliminaries
In this first of two papers on ∞-category theory, we present information and resources on the basic prerequisites to parse the Riehl-Verity theory of ∞-cosmoi, the main topic of, e.g, [RV16b]. We provide basic definitions of monoidal categories, enriched categories, model categories, simplicial sets, and quasicategories, leading up to the main definition of [RV17], that of an ∞cosmos. Examples ...
متن کاملWeak complicial sets and internal quasi-categories
It is well known that we may represent (strict) ω-categories as simplicial sets, via Street’s ω-categorical nerve construction [2]. What may be less well known, is that we may extend Street’s nerve functor to one which has been shown to be fully-faithful (Verity [3]). This is achieved by augmenting each simplicial set in the codomain of this functor with a specified subset of thin simplices and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011